3e5e1d19183f297e7d383ec334b32c9dbb8a4964,core/baseLanguage/collections/source_gen/jetbrains/mps/baseLanguage/collections/typesystem/typeof_ComparatorSortOperation_InferenceRule.java,typeof_ComparatorSortOperation_InferenceRule,applyRule,#SNode#TypeCheckingContext#,18
Before Change
{
SNode _nodeToCheck_1029348928467 = cso;
BaseIntentionProvider intentionProvider = null;
typeCheckingContext.createLessThanInequation(typeCheckingContext.typeOf(SLinkOperations.getTarget(cso, "closure", true), "r:00000000-0000-4000-0000-011c8959032b(jetbrains.mps.baseLanguage.collections.typesystem)", "1209728259192", true), new _Quotations.QuotationClass_79().createNode(typeCheckingContext.getEquationManager().getRepresentator(paramType_typevar_1209728259188), typeCheckingContext.getEquationManager().getRepresentator(paramType_typevar_1209728259188), typeCheckingContext.getEquationManager().getRepresentator(resType_typevar_1209728259189), typeCheckingContext), _nodeToCheck_1029348928467, null, "r:00000000-0000-4000-0000-011c8959032b(jetbrains.mps.baseLanguage.collections.typesystem)", "1209728259190", false, 0, intentionProvider);
}
{
SNode _nodeToCheck_1029348928467 = cso;
BaseIntentionProvider intentionProvider = null;
typeCheckingContext.createLessThanInequation(typeCheckingContext.getEquationManager().getRepresentator(resType_typevar_1209728259189), new _Quotations.QuotationClass_80().createNode(typeCheckingContext), _nodeToCheck_1029348928467, null, "r:00000000-0000-4000-0000-011c8959032b(jetbrains.mps.baseLanguage.collections.typesystem)", "1209728259205", false, 0, intentionProvider);
}
{
SNode _nodeToCheck_1029348928467 = cso;
After Change
{
SNode _nodeToCheck_1029348928467 = cso;
BaseIntentionProvider intentionProvider = null;
typeCheckingContext.createLessThanInequation(typeCheckingContext.typeOf(SLinkOperations.getTarget(cso, "closure", true), "r:00000000-0000-4000-0000-011c8959032b(jetbrains.mps.baseLanguage.collections.typesystem)", "1209728259192", true), new _Quotations.QuotationClass_84().createNode(typeCheckingContext.getEquationManager().getRepresentator(paramType_typevar_1209728259188), typeCheckingContext.getEquationManager().getRepresentator(paramType_typevar_1209728259188), typeCheckingContext), _nodeToCheck_1029348928467, null, "r:00000000-0000-4000-0000-011c8959032b(jetbrains.mps.baseLanguage.collections.typesystem)", "1209728259190", false, 0, intentionProvider);
}
{
SNode _nodeToCheck_1029348928467 = cso;